Fixed: bookmark displacement/deletion after 4151, 4152 commands.
Authored by: instructor_ 2017-02-12
Parent: [r4330]
Child: [r4332]