Another quick bugfix