minor fix for trailing white-space