Remove unnecessary progn. (M)

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>