Removed spurious whitespace