[BUG #4893] ensure proper whitespace around pre-postfix operators