Fix typo and remove unnecessary progn thanks to @theanalyst

Signed-off-by: Vasudev Kamath <kamathvasudev@gmail.com>