whitespace here too. Not clear if this is conditional on the else or should always happen