fixed bug introduced in f36760d7898f1c46e90f432d4e6ee8d95333a84d