Fixing bug introduced by Jens