bugfix (as per #2)