Fix #874

Fix whitespace