small enhancement fixes #1308