Small fix for readability

code part of #420