Fixes #1 forgotten in a previous commit